little fix in type util