ドキュメントの誤植修正。