fixup "Fix race condition in page fault notification"

ref #1206