more PTE settings fixes