Update main_spec.lua