Syntax fixes in documentation source