Feature #1664: typo