表示の若干の修正。