Bugfix in title highlighting