bug 1223: typo fix