Fixing bug which caused NoOptionError while importing extensions