Fix a soft_assert mishap