fix HTML proofer bugs