fix an errant copy/paste