Use right default value for proc_args