Fix a minor crash