[Michael] More comments on paging initialization. Log updated.