Fix encoding error from previous commit