The line he crossed was still within the boundary of the pit lane not on the racing track, I think. I stand to be corrected though.