This bug never happened