fix to biblepop searchterm highlight which broke on 3.1.0