Fix a mistake in the beginning phase in exec.c