No, those lines are correct as is.