Correct example in synopsis.