This comment is now redundant.