Some more copy-editing; markup code as code