Fix broken user_pages_spec