Fix minor typo, closes #914