Make editing the config file a numbered option