Simple typo—extra semi-colon out of synopsis example

Thanks!