Why is this commented out (and not, say, deleted?)