corrections to example