diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 7e8df27601..8690b10fbe 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -3285,6 +3285,7 @@ bad things might happen.</property>
     </child>
   </object>
   <object class="GtkPopover" id="new_style_menu">
+    <style><class name="menu"/></style>
     <child>
       <object class="GtkStack">
         <child>
diff --git a/docs/reference/gtk/input-handling.xml b/docs/reference/gtk/input-handling.xml
index 4399d04325..4a313b08ae 100644
--- a/docs/reference/gtk/input-handling.xml
+++ b/docs/reference/gtk/input-handling.xml
@@ -73,6 +73,12 @@
      between different events by looking at their type, using
      gdk_event_get_event_type().
     </para>
+    <para>
+      Some events, such as touch events or button press-release pairs,
+      are connected in to each other in an “event sequence” that
+      univocally identifies events that are related to the same
+      interaction.
+    </para>
     <para>
       When GTK creates a GdkSurface, it connects to the #GdkSurface::event
       signal on it, which receives all of these input events. Surfaces have
@@ -181,17 +187,6 @@
     </para>
   </refsect2>
 
-  <refsect2>
-    <title>Touch events</title>
-
-    <para>
-      Touch events are emitted as events of type %GDK_TOUCH_BEGIN,
-      %GDK_TOUCH_UPDATE or %GDK_TOUCH_END, those events contain an
-      “event sequence” that univocally identifies the physical touch
-      until it is lifted from the device.
-    </para>
-  </refsect2>
-
   <refsect2>
     <title>Keyboard input</title>