fixed a bug in ConfigValue.__repr__()