fix bad encoding. fixes #622