just a typo (see issue #11)