Update example of a non-definitive Lelu syntax