diff --git a/src/java/org/extendj/ragdoc/JsonBuilder.java b/src/java/org/extendj/ragdoc/JsonBuilder.java
index fc68a92efac0e60bc48f008fa0a060b6d7825879..d3b9132ec2075792b106f3b6da501b9ee94d7b73 100644
--- a/src/java/org/extendj/ragdoc/JsonBuilder.java
+++ b/src/java/org/extendj/ragdoc/JsonBuilder.java
@@ -265,6 +265,7 @@ public class JsonBuilder {
               ragFile = declaredat;
               lineno = "0";
             }
+            // Exclude source location for implicitly generated code (ragFile==ASTNode).
             if (!ragFile.equals("ASTNode")) {
               String relativePath = RelativePath.getRelativePath(ragFile, ragRoot);
               if (!sourceFiles.containsKey(relativePath)) {
@@ -274,11 +275,8 @@ public class JsonBuilder {
                 }
               }
               doc.add("ragFile", Json.of(relativePath));
-            } else {
-              // Not a real source file.
-              doc.add("ragFile", new JsonString(ragFile));
+              doc.add("line", new JsonString(lineno));
             }
-            doc.add("line", new JsonString(lineno));
             break;
           case "aspect":
             aspectName = tag.text;