Fixed encoding bug
Merge pull request #13 from antlr/Encoding-bug

Fixed encoding bug