Fix user_pages_spec tests