fixes in config-impl.py