fixing character encoding. fixes #3