Quick fix of a bug

Fix an OpenMP header which results in compilation error.