small fix to example