Fix copy-paste error in example