Fix bug in an example

Thanks to @iancollier for reporting.