fix a little bug in pml4e_walk()