Syntax fixes in doc examples