Fix mistake in my previous commit (n_of_executions_at_least should be