fix overzealous copy-paste