[Plugin: Duplicate Post] Undefined index on options page

As it says, I’m getting this PHP error on the options page. Notice: Undefined index: settings-updated in C:\wamp\www\wp-content\plugins\duplicate-post\duplicate-post-options.php on line 28

I’ve temporarily fixed it by changing the line from:
if ( current_user_can( 'edit_users' ) && $_GET['settings-updated'] == true){
to
if ( current_user_can( 'edit_users' ) && isset($_GET['settings-updated'])){
I can’t see anywhere in my install where $_GET[‘settings-updated’] would ever be set to anything other than true, so this should work. This is more of a heads up for the dev than anything else.

http://wordpress.org/extend/plugins/duplicate-post/