The extent of Anthony Johnson's injury