Removed old now-incorrect comment