diff --git a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java
index c7398a914..42b6f9720 100644
--- a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java
+++ b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java
@@ -173,6 +173,8 @@ void applyDefaultVar() {
         for (AlloyType r : currentModel.getTypes()) {
             if (nodeStyle.get(r) == null && r.isVar && !(currentModel.getSuperType(r).isVar || nodeStyle.get(currentModel.getSuperType(r)) != null))
                 nodeStyle.put(r, DotStyle.DASHED);
+            if (number.get(r) == null && r.isRecord)
+                number.put(r, false);
         }
         for (AlloyRelation r : currentModel.getRelations()) {
             if (edgeStyle.get(r) == null && r.isVar)