Fixed small issue with character encoding to stdout