When I try to document incorrect-character-carriage-return, I keep getting a syntax-error #8240