The problem has happened again, so the supposed workaround does not actually work.