fixes wrong return value of page_map()

 fixes #2