mintbox: small fix