Make the "settings" command work with the -R option.
Fix for ticket [5162d999af].