Fix an inaccurate comment