Feature #3075: typo