minor fixes to document