Fix minor editorial error