fix a copy/paste error