paging docu & fix in init.c