diff --git a/lib/modules/Sql.pmod/mysql.pike b/lib/modules/Sql.pmod/mysql.pike
index 0db6b199a75d05a0100ec74de8f53ade2d08a2a5..e10b8dd37717a4bc63c9715b1975c11d000c8830 100644
--- a/lib/modules/Sql.pmod/mysql.pike
+++ b/lib/modules/Sql.pmod/mysql.pike
@@ -14,20 +14,30 @@
 //! types are represented like this:
 //!
 //! @dl
-//! @item The NULL value
+//! @item NULL
 //!   Returned as @[Val.null].
 //!
-//! @item BIT, TINYINT, BOOL, SMALLINT, MEDIUMINT, INT, BIGINT
+//! @item BIT
+//! @item TINYINT
+//! @item BOOL
+//! @item SMALLINT
+//! @item MEDIUMINT
+//! @item INT
+//! @item BIGINT
 //!   Returned as pike integers.
 //!
-//! @item FLOAT, DOUBLE
+//! @item FLOAT
+//! @item DOUBLE
 //!   Returned as pike floats.
 //!
 //! @item DECIMAL
 //!   Returned as pike integers for fields that are declared to
 //!   contain zero decimals, otherwise returned as @[Gmp.mpq] objects.
 //!
-//! @item DATE, DATETIME, TIME, YEAR
+//! @item DATE
+//! @item DATETIME
+//! @item TIME
+//! @item YEAR
 //!   Returned as strings in their display representation (see the
 //!   MySQL manual).
 //!
@@ -44,14 +54,14 @@
 //!   @tt{UNIX_TIMESTAMP@} function in the queries to retrieve them as
 //!   unix timestamps on integer form.
 //!
-//! @item String types
+//! @item "String types"
 //!   All string types are returned as pike strings. The MySQL glue
 //!   can handle charset conversions for text strings - see
 //!   @[set_charset] and @[set_unicode_decode_mode].
 //!
 //! @enddl
 //!
-//! @section
+//! @endsection
 
 #pike __REAL_VERSION__