Fixup for missing import in config.py