fix a copy-paste error; fixes #17