Fix bug in resource search result highlighting

2012-12-19, Laurent Bessard