Bugs in infect_recover_loop