Slight tidying of openmp.