Update documentation of ut_fail()