Subtle error in infomain picked up on Jenkins.