diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index 77067531e80..d3a06076454 100644
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -268,7 +268,7 @@
 
 ;; Customization of header, add title attributes (overrides
 ;; dbcommon.dsl)
-(define (default-header-nav-tbl-ff elemnode prev next)
+(define (default-header-nav-tbl-ff elemnode prev next prevsib nextsib)
   (let* ((r1? (nav-banner? elemnode))
 	 (r1-sosofo (make element gi: "TR"
 			  (make element gi: "TH"