fix a bug in focussearch where restarts were not really done