bug 1137: Typo fix