fix an inaccurate comment