minicon: small simplifications