You're right, it's a copy-paste error.