Notice: Undefined index: settings-updated

The plugin seems to work perfect so far. Only one small annoyance, I get this PHP notice:

Notice: Undefined index: settings-updated in rename-wp-login.php on line 85

This is the line of code:
} elseif ( $_GET['settings-updated'] == true ) {
Not sure what is the best solution but maybe change it to something like
} elseif ( isset($_GET['settings-updated']) && $_GET['settings-updated'] == true ) {
or
} elseif ( !empty($_GET['settings-updated']) ) {
?

http://wordpress.org/plugins/rename-wp-login/