Removed unnecessary use of "progn"