minor fixes to format document