mint: some additions