diff --git a/lib/modules/Function.pmod b/lib/modules/Function.pmod
index 4069aa2ac55ed894073647150ae595c5452f6efb..c475b2ff5eabaab54502dd80833cc6a4bae15cf7 100644
--- a/lib/modules/Function.pmod
+++ b/lib/modules/Function.pmod
@@ -19,7 +19,7 @@ constant defined = __builtin.function_defined;
 //!  Whatever the supplied function @[f] returns.
 //!
 //! @example
-//!   @code{
+//! @code
 //!   class Product(string name, string version)
 //!   {
 //!     string _sprintf()
@@ -34,7 +34,7 @@ constant defined = __builtin.function_defined;
 //!	 Product(pike/7.1.11),
 //!	 Product(whitefish/0.1)
 //!   })
-//!   @}
+//! @endcode
 mixed splice_call(array args, function f, mixed|void ... extra)
 {
   return f(@args, @extra);