Fix typo. Issue #418.