typo fix in make propose-patch