diff --git a/src/SAWScript/Crucible/LLVM/Builtins.hs b/src/SAWScript/Crucible/LLVM/Builtins.hs
index ab8a88c169..eb77483e70 100644
--- a/src/SAWScript/Crucible/LLVM/Builtins.hs
+++ b/src/SAWScript/Crucible/LLVM/Builtins.hs
@@ -1314,7 +1314,9 @@ cryptolTypeOfActual dl mt =
     Crucible.StructType si ->
       do let memtypes = V.toList (Crucible.siFieldTypes si)
          ctys <- traverse (cryptolTypeOfActual dl) memtypes
-         return $ Cryptol.tTuple ctys
+         case ctys of
+           [cty] -> return cty
+           _ -> return $ Cryptol.tTuple ctys
     _ ->
       Nothing