Fixed typo (also reported in #11).