small fix in default substitute method in Type