bugfix in pattern for search highlighting