minor corrections to mc_tools