This comment seems to be a leftover.