This `progn` is superfluous.