fixes mistakes in aibenchmark introduced with cd109e1