minor optimization for partintro in docbook backend