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