Post Indexer Public Update bug

There is a bug in post_indexer_public_update() -function.

Please replace line 501
if ( $_GET['updated'] == 'true' ) {
with
if ( $_GET['settings-updated'] == 'true' ) {
in order to make this function work in WordPress 3.4.2