Fix syntax in dumptype.pp