fix #19 (minor encoding issue)