Fixed TagProd
Minor change in pretty-printing output