Fix a clerical error.