Fix a broken comment...