change slightly the finishing criterion