That's an unfortunate bug