fix some builtin types