This `progn` is redundant.