Ouch, that's my copy-paste mistake. Fixed.