Yay, testing found a bug