Numbers in the proper place in the navigation output of anonymous sections.