Commit dfd6c25013ffa89ef7879d8f6a2548f989c4f3ea

Stefan Sperling 2020-02-28T19:36:57

fix typo in comment; found by mpi@