Fix page table cache cleaning bug

This one was less trivial...