user_pages now passing
Fix bugs in test