This comment is now redundant