fix pretty-printer string printing
fix character code parsing (see #7)