He got the lineal title by beating Hart. Marvis would've had to beat Holmes to win the lineal title. Someone got luckier than the other guy that's for sure.