Page table filtering - minor fixes