Corrects a typo

Fixes #921