fix/workaround bizarre unicode problem