Shouldn't it use the platform charset instead, here?