Remove unnecessary progn