better reporting when assertion fails