Fixes a typo (see #41).