fixed a bug I had introduced in OMP END CRITICAL