Yes, this is a bad copy-paste on my part. Fixing.