DSL: properly handle [m] tag

In short, [m] = [m0].