fix some (i hope all) mysterious paging bugs