Yup. It's obvious at the moment because the removed line mentions casting. It would also mean that if people are grepping the document to find mentions of casting, they'll find this example.