Fixed an inaccurate comment