Fixed a stupid mistake in infinite play