ドキュメントの細かい修正。