explicitly specify character encoding