Coverity fix: check for builder in <tabs> and <paragraph-margins>