Bad copy-paste?