Remove forgotten copy-paste stuff