diff --git a/src/tools/copyright b/src/tools/copyright
index 393d9dfd9f7..b0318c77577 100755
--- a/src/tools/copyright
+++ b/src/tools/copyright
@@ -1,4 +1,4 @@
-rgrepc -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
+rgrep -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
 do
 	pipe sed 's/^\(.*Copyright (c) [12][0-9][0-9][0-9]-\)[12][0-9][0-9][0-9]\(, PostgreSQL Global Development Group.*\)$/\12005\2/' $FILE
 done