The "else" branch doesn't need the `progn`. And if I'm reading the diff correctly, it should be indented one level less (it allows the reader to easily discern where the "then" branch ends and the "else" begins).