diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
index 5ef1f2bf..0d9e2b1c 100644
--- a/z3-sys/src/lib.rs
+++ b/z3-sys/src/lib.rs
@@ -4092,6 +4092,8 @@ extern "C" {
     ///
     /// - `Z3_get_ast_kind(c, a) == AstKind::Numeral || Z3_is_algebraic_number(c, a)`
     ///
+    /// # See also:
+    ///
     /// - [`Z3_get_ast_kind`]
     /// - [`AstKind::Numeral`]
     pub fn Z3_get_numeral_double(c: Z3_context, a: Z3_ast) -> f64;