Correction to example