Fixed formatting glitch in msh.man.