Fix typestringof