Fix inversion of full_punch_interval