Well that was a subtle bug to track down!