Fixes #5540: correct a badly closed <b> tag