actually it has to be int() here, because otherwise it would write bool to the config file.