minor fixes in demand paging