A bugfix for some corner cases in evaluation (when there are no exact results).