(minor) fix issue with some character encodings