[mps] more formatting fixes