Re #9390 Fix OpenMP index signed integral type and doxygen warning.