[Truffle] Fix Richards benchmark.