コメントの補足説明の字句を修正した。