Fix encoding issues from 2429f38f2c13a34ae665ce86c8ad6d07f9b61ab8

Thank you @mattwildig for spotting them! [ci skip]