This comment no longer applies.