Last edits to code highlighting: #225 #222