fix a clerical error