Fix a formatting issue with the <hr> tag.