Code highlighting:

        /**
         * Handle settings errors and return to options page
         */
        // If no settings errors were registered add a general 'updated' message.
        if ( !count( get_settings_errors() ) )
                add_settings_error('general', 'settings_updated', __('Settings saved.'), 'updated');
        set_transient('settings_errors', get_settings_errors(), 30);

        /**
         * Redirect back to the settings page that was submitted
         */
        $goback = add_query_arg( 'settings-updated', 'true',  wp_get_referer() );
        wp_redirect( $goback );
        exit;