Added extra level of comment semi-colons
Removed an unnecessary `progn' level