Yet another encoding fix attempt

This post has been problematic before. May have to re-type it.