Fixed a small bug in the optimizer-test tool, and SimpleSyntaxHighlighter.