diff --git a/ompi/mpi/man/man3/Makefile.extra b/ompi/mpi/man/man3/Makefile.extra
index d3078b42b3..a9057df8b2 100644
--- a/ompi/mpi/man/man3/Makefile.extra
+++ b/ompi/mpi/man/man3/Makefile.extra
@@ -313,4 +313,4 @@ man_MANS += \
         man/man3/MPI_Win_wait.3 \
         man/man3/MPI_Wtick.3 \
         man/man3/MPI_Wtime.3 \
-        man/man3/openmpi.3
+        man/man3/OpenMPI.3