bug introduced, now squashed