Slight tidy up of process_args()