diff --git a/pkgs/plt-services/meta/new-web/www/index.rkt b/pkgs/plt-services/meta/new-web/www/index.rkt
index fe0b96df8b..9721770d9b 100644
--- a/pkgs/plt-services/meta/new-web/www/index.rkt
+++ b/pkgs/plt-services/meta/new-web/www/index.rkt
@@ -251,7 +251,7 @@
      @code{#lang datalog
            ancestor(A, B) :- parent(A, B).
            ancestor(A, B) :-
-             parent(A, C), D = C, ancestor(D, B).
+             parent(A, C), ancestor(C, B).
            parent(john, douglas).
            parent(bob, john).
            ancestor(A, B)?}