I think this example should stay, as it's exactly what people who don't want to follow the above requirement will be tempted to do -- and when they think "Surely they don't mean... this should be here to indicate YES WE DO MEAN..."