Exactly, but still if he wanted to, he could have continued... Still it was a shitty fight and **** bradley with his accidental headbutts.
You have to bear in mind that Devon didn't finally quit until the 10th round, while Ortiz couldn't even make it through 6.