diff --git a/src/Convert.hs b/src/Convert.hs
index 3100887..75e11af 100644
--- a/src/Convert.hs
+++ b/src/Convert.hs
@@ -74,6 +74,7 @@ finalPhases _ =
     , Convert.EmptyArgs.convert
     , Convert.FuncRet.convert
     , Convert.TFBlock.convert
+    , Convert.Unsigned.convert
     , Convert.StringType.convert
     ]
 
@@ -96,7 +97,6 @@ mainPhases tops selectExclude =
     , Convert.Struct.convert
     , Convert.Typedef.convert
     , Convert.UnpackedArray.convert
-    , Convert.Unsigned.convert
     , Convert.Wildcard.convert
     , Convert.Enum.convert
     , Convert.StringParam.convert
diff --git a/src/Convert/Unsigned.hs b/src/Convert/Unsigned.hs
index ba9ad4d..e2324d8 100644
--- a/src/Convert/Unsigned.hs
+++ b/src/Convert/Unsigned.hs
@@ -18,7 +18,8 @@ convert =
     map $
     traverseDescriptions $
     traverseModuleItems $
-    traverseTypes $ traverseNestedTypes convertType
+    -- doesn't need to visit nested types, as they have been elaborated
+    traverseTypes convertType
 
 convertType :: Type -> Type
 convertType (Implicit        Unsigned rs) = Implicit        Unspecified rs