Fix documentation.

Thanks to Koichi Akabe for the proofreading.