doc: small fixes to comments and syntax