issue 79: small fix