Even if we view it that way, there was no bug in bitcoin.