Fix UF-8 encoding of sin^{-1} in options.