Syntax fixes to documentation