small fix to example output