Update paging.c: update comment