removed argv argument in main_spec, changed some arg names in main