This comment seems superfluous.