diff --git a/doc/clickpad-softbuttons.dox b/doc/clickpad-softbuttons.dox
index 64149c7e..a0074610 100644
--- a/doc/clickpad-softbuttons.dox
+++ b/doc/clickpad-softbuttons.dox
@@ -26,6 +26,7 @@ events on click. The height of the button area depends on the hardware but
 is usually around 10mm.
 
 Left, right and middle button events can be triggered as follows:
+
 - if a finger is in the main area or the left button area, a click generates
   left button events.
 - if a finger is in the right area, a click generates right button events.
@@ -48,6 +49,7 @@ A release event always releases the buttons logically down, regardless of
 the current finger position
 
 The movement of a finger can alter the button area behavior:
+
 - if a finger starts in the main area and moves into the software button
   area, the software buttons do not apply to that finger
 - a finger in the software button area does not move the pointer
diff --git a/doc/reporting-bugs.dox b/doc/reporting-bugs.dox
index 62c61e07..da0fdd2a 100644
--- a/doc/reporting-bugs.dox
+++ b/doc/reporting-bugs.dox
@@ -14,11 +14,13 @@ and provide the required data. You will need:
 - a reliable @ref reporting_bugs_reproducer "reproducer" for the bug
 - an @ref evemu "evemu recording" of the device while the bug is reproduced
 - device-specific information, see
+
 	- @ref reporting_bugs_touchpad
 	- @ref reporting_bugs_mouse
 	- @ref reporting_bugs_keyboard
 	- @ref reporting_bugs_trackpoint
 	- @ref reporting_bugs_other
+
 - the @ref reporting_bugs_version "libinput version" you are on.
 - the @ref reporting_bugs_options "configuration options" you have set
 - a [gitlab account](https://gitlab.freedesktop.org/users/sign_in)
@@ -28,10 +30,10 @@ Stay technical, on-topic, and keep the description concise.
 @section reporting_bugs_version Obtaining the libinput version
 
 If your libinput version is older than the current stable branch, you will
-get asked to try the latest version.
+get asked to try the latest version. If you run a distribution-provided
+libinput, use the package manager to get the **full** package name and
+version of libinput, e.g.
 
-If you run a distribution-provided libinput, use the package manager to get
-the **full** package name and version of libinput, e.g.
 - `rpm -q libinput`
 - `dpkg -s libinput10`
 
diff --git a/doc/trackpoints.dox b/doc/trackpoints.dox
index 78bd20c3..34a4dea5 100644
--- a/doc/trackpoints.dox
+++ b/doc/trackpoints.dox
@@ -65,6 +65,7 @@ setting libinput_device_config_accel_set_speed().
 @subsection trackpoint_multiplier_adjustment Adjusting the magic trackpoint multiplier
 
 This section only applies if:
+
 - the trackpoint default speed (speed setting 0) is unusably slow or
   unusably fast, **and**
 - the lowest speed setting (-1) is still too fast **or** the highest speed