fix indenting in refine formal members proposal