Remove a copy-paste error in the example