Fix config-impl.py