minor fixes, adding mint