You don't need a `progn` here.