Apparently this is required to avoid rare crashes