Fixed a bug with the PageFaultRenderer