diff --git a/prospect/info.rkt b/prospect/info.rkt
index dfda668..f87e0ca 100644
--- a/prospect/info.rkt
+++ b/prospect/info.rkt
@@ -1,2 +1,2 @@
 #lang setup/infotab
-(define scribblings '(("scribblings/highlevel.scrbl" ())))
\ No newline at end of file
+(define scribblings '(("scribblings/highlevelref.scrbl" ())))
\ No newline at end of file
diff --git a/prospect/scribblings/highlevel.scrbl b/prospect/scribblings/highlevelref.scrbl
similarity index 100%
rename from prospect/scribblings/highlevel.scrbl
rename to prospect/scribblings/highlevelref.scrbl