well this actually found a bug - nicely done