Bug efs.py: loop exit loop exit too early