fix clerical error