More tweaks and fixes to benchGame