Small bug fix in exec syscall