Issue #69: typo