bug 1154: small typo fix