Fix careless copy-and-paste error