Fix reST in doc file (and fix syntax highlighting)