The case of the crash on a null pointer even though we checked it for null