Fix several mistakes in exec.c