Fix example in Synopsis