Fixed bug in page fault alias handling