CRUISE: Fix a null pointer dereference