Remove some really obsolete comments...