Issue #53: small fix