This comment is superfluous