Fix arguments for main() call.