bugfixes in benchmark