Fix encoding error (please be carful with this - even though using non-ascii chars in code/comments is not a good idea, my bad). Thanks Irie Shinsuke for the report!