minor correction to example