unrelated OpenMP fix