Fix minor character set problem.
Update documentation.