Fix a minor misunderstanding.