Fix texinfo error due to wrong @subsubsection