Index: tools/dubbelipcheck.sh
===================================================================
--- tools/dubbelipcheck.sh	(revision 9287)
+++ tools/dubbelipcheck.sh	(revision 9479)
@@ -50,5 +50,5 @@
 			echo "Wordt gebruikt in:"
 			for file in $files ; do
-				grep -v '#' $file | grep "$dubbel_ip/" | grep "^IP\|^$master_ip" > /dev/null && echo "  -$file"
+				grep -v '#' $file | grep "$dubbel_ip" | grep "^IP\|^$master_ip" > /dev/null && echo "  -$file"
 			done
 		done