Removed (now) incorrect comments