Fix silly copy-paste error