Fix unicode problem (closes #82).

Note this doesn't mean the syntax highlighting is now well-behaved
because most (all?) lexers don't consider unicode characters and may get
confused where things go.