Eliminate character encoding error

While not the correct character, typographically speaking, now this
will always render correctly. Closes #568.