This bit of the comment no longer applies.