Syntax fixes and documentation based on PR comments.