fix #3138: Finds not added to history correctly