Fixed typo noticed in #37.