correct a copy/paste mistake