Small update: hardening against random crashes

I don't know if this will fix anything in particular, but it should make it less likely for random unexpected crashes to occur during regular gameplay.