Correct example so that it actually works