Guess this `progn` can be avoided