diff --git a/devtools/credit b/devtools/credit
index c01a09671..4293de7f6 100755
--- a/devtools/credit
+++ b/devtools/credit
@@ -30,7 +30,7 @@ while read LINE; do
     if [ $(grep -ci -- "$NAME\|$EMAIL" /tmp/prev-authors.$$) = 0 ]; then
 	NOTES="$NOTES""NEW COMMITTER "
     fi
-    if ! grep -q -- "$NAME" /tmp/namers.$$; then
+    if ! grep -qi -- "$NAME" /tmp/namers.$$; then
 	if [ -z "$NAMER" ]; then
 	    NAMER="$NAME"
 	    NOTES="$NOTES""*NEXT NAMER* "