Fix bug in the Mithril controller. Make the benchmark closer to measure what it claims to.