Fix a bug in Progn.