a couple of minor fixes in the master.cfg