add a missing codepoint to my old sphinx post