Fixes an occasional server crash