improved coverage of abbrevation marings in HTML