Update Redstone.dart benchmark

Sorry, you are right. I've fixed this.