Fix non-escaped characters in documentation