diff --git a/sbin/ipf/ipmon/ipmon.c b/sbin/ipf/ipmon/ipmon.c
index d06c7bf71b0..80d1d406529 100644
--- a/sbin/ipf/ipmon/ipmon.c
+++ b/sbin/ipf/ipmon/ipmon.c
@@ -578,7 +578,7 @@ dumphex(FILE *log, int dopts, char *buf, int len)
 		}
 
 		if ((j + 1) & 0xf)
-			*t++ = ' ';;
+			*t++ = ' ';
 	}
 
 	if (j & 0xf) {
diff --git a/sbin/ipf/libipf/interror.c b/sbin/ipf/libipf/interror.c
index f59f4f63307..a4c0b1c56b8 100644
--- a/sbin/ipf/libipf/interror.c
+++ b/sbin/ipf/libipf/interror.c
@@ -527,7 +527,7 @@ find_error(int errnum)
 	ipf_error_entry_t *ie;
 
 	int l = -1, r = IPF_NUM_ERRORS + 1, step;
-	step = (r - l) / 2;;
+	step = (r - l) / 2;
 
 	while (step != 0) {
 		ie = ipf_errors + l + step;
@@ -538,7 +538,7 @@ find_error(int errnum)
 			r = step;
 		else
 			l = step;
-		step = (r - l) / 2;;
+		step = (r - l) / 2;
 	}
 
 	return (NULL);
diff --git a/sbin/ipf/libipf/ipf_dotuning.c b/sbin/ipf/libipf/ipf_dotuning.c
index e435ce03519..74d5dd154aa 100644
--- a/sbin/ipf/libipf/ipf_dotuning.c
+++ b/sbin/ipf/libipf/ipf_dotuning.c
@@ -19,7 +19,7 @@ void ipf_dotuning(int fd, char *tuneargs, ioctlfunc_t iocfn)
 
 	bzero((char *)&tu, sizeof(tu));
 	obj.ipfo_rev = IPFILTER_VERSION;
-	obj.ipfo_size = sizeof(tu);;
+	obj.ipfo_size = sizeof(tu);
 	obj.ipfo_ptr = (void *)&tu;
 	obj.ipfo_type = IPFOBJ_TUNEABLE;