bugfix: some character can't be printed to console