Request a correction

Something on the open-mpi.org report look wrong? Let us know what to fix.