This comment seems redundant.