fix small screw-up related to the new MpiHelper class