Use get_admin_page_title()

Instead of repeating ourselves, re-use the value already provided to WP, for the settings page title, via the get_admin_page_title() function.