fix indenting with refine formal members