i have checked and i am fairly confident this is behaving as desired