Index: lib/libbe/be.c
===================================================================
--- lib/libbe/be.c
+++ lib/libbe/be.c
@@ -1131,7 +1131,7 @@
 static int
 be_create_child_cloned(libbe_handle_t *lbh, const char *active)
 {
-	char buf[BE_MAXPATHLEN], tmp[BE_MAXPATHLEN];;
+	char buf[BE_MAXPATHLEN], tmp[BE_MAXPATHLEN];
 	zfs_handle_t *zfs;
 	int err;
 
Index: lib/libfetch/common.c
===================================================================
--- lib/libfetch/common.c
+++ lib/libfetch/common.c
@@ -1388,7 +1388,7 @@
 			}
 			timersub(&timeout, &now, &delta);
 			deltams = delta.tv_sec * 1000 +
-			    delta.tv_usec / 1000;;
+			    delta.tv_usec / 1000;
 		}
 		errno = 0;
 		pfd.revents = 0;
Index: lib/libvgl/main.c
===================================================================
--- lib/libvgl/main.c
+++ lib/libvgl/main.c
@@ -93,7 +93,7 @@
   if (VGLOldModeInfo.vi_flags & V_INFO_GRAPHICS) {
     size[0] = VGLOldVInfo.mv_csz;
     size[1] = VGLOldVInfo.mv_rsz;
-    size[2] = VGLOldVInfo.font_size;;
+    size[2] = VGLOldVInfo.font_size;
     ioctl(0, KDRASTER, size);
   }
   if (VGLModeInfo.vi_mem_model != V_INFO_MM_DIRECT)