That @highlight doesn't have any effect, unless he's already reading the thread for other reasons and sees it with his eyes (apparently not yet :). Emailing them using the Contact link in the footer to have a title corrected works well (and more rapidly) though.