Remove superfluous progns
Rebase