fixed stupid bug: GraphMonitor in Minimizer was not a monitor