diff --git a/src/Makefile b/src/Makefile
index 68aa91bc4..19343de0e 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -16,7 +16,7 @@ shell:
 clean: 
 	rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
 hugs:
-	hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:parsing GF
+	hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:parsing: GF
 today:
 	runhugs util/MkToday
 javac: