fix copy-paste weirdness