[m] minor formatting cleanup