removed a comment that was, in retrospect, not true