This comment no longer applies