Fix an error in documentation sidebar template.