Fixing weird encoding errors

Something's up with `'` from where I copied them. Hope I fixed them all...