diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index 2c18dabf698194437e2ed1725f4a6354cdf8df49..232fa58e516a5a9ed79742922609cb36630602cd 100644
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -284,7 +284,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"