Small change in doc

Synopsis example didn't work as written.