diff --git a/Printing.jrag b/Printing.jrag
index 39deaadb67827a56e3f25af6f09017aa79cb621f..c3d6db3e07d8c898b25b32d0a3756e2a9557709a 100644
--- a/Printing.jrag
+++ b/Printing.jrag
@@ -89,7 +89,9 @@ aspect Printing {
       sb.append("\"");
     }
     sb.append(":");
-    if (getValue().isComplexElement() && !getValue().isEmpty() && !getValue().isCollapsed()) {
+    if (getValue() == null) {
+      sb.append(" null");
+    } else if (getValue().isComplexElement() && !getValue().isEmpty() && !getValue().isCollapsed()) {
       sb.append("\n");
       getValue().prettyPrint(sb, true, indent + PRINT_INDENT);
     } else {