bug in paging semantics