FIX: minor bug in process_arguments