mpi/toplevel.cpp: Fix typo