Fix weird accidental copy-paste.