user_pages_spec minor error fixed