fix another syntax error in test_core_count