remove 2 more unnecessary `progn`s