Yes, but at first I understood "terminate after inf is reached" that inf at to be printed. But actually "reached" and "printed" are two different concepts. Discipulus seems to be OK with your version :)