diff --git a/libdecor/src/plugins/gtk/libdecor-gtk.c b/libdecor/src/plugins/gtk/libdecor-gtk.c
index ed4a84264..de6ec90c6 100644
--- a/libdecor/src/plugins/gtk/libdecor-gtk.c
+++ b/libdecor/src/plugins/gtk/libdecor-gtk.c
@@ -2409,7 +2409,8 @@ pointer_button(void *data,
 	case HEADER:
 		handle_button_on_header (frame_gtk, seat, serial, time, button, state);
 		break;
-	//default: /* FLTK */
+	default:
+                break;  /* FLTK */
 	}
 }