(Jade) Simplify MoC printing