Remove obsolete progn from README