This comment seems to be here twice, in the old copy as well.  Let's remove one copy.