bugfix: yet another encoding error