Reverted previous change. Renamed process_dotfile_option to process_option.