冒頭のコメントを修正。