Correct some errors in exec.c introduced in the previous commit