Bugfix concerning precise search