Slightly better termination condition