bug fix for ConfigUtil.cpp