Improvements in miniSim.