Fix typo. (Fixes #852)