looks like a case of copy-paste-error! (fixed)