Bug 144: small change