Fix (extremely unlikely to occur) bug