Update paging.c: remove `puts()'