Update paging.h: clarify comments