Fix omission in c_main