Fix encoding problem when printing the result. Fixes #2.