patched highlight.rb to fix linenos