Fix typo; fixes #85.