minor: fix up mci config nits