minor fixes to code blocks in manual