Is this maybe another copy-paste remnant?