Updating from 7.24 to 7.25 - "Success" page errors

Updating from 7.24 to 7.25, and also doing a module update after the Drupal version update, I rec'd two errors each time. Looks to me like perhaps the updates to the database for the core and the module may have proceeded properly and only the reporting of the "success" page was hindered by the error? I would like confirmation that, despite these errors, the basic functioning of the site was updated and all is as it should be.

Notice: Undefined index: update_success in update_results_page() (line 177 of /home/northwes/public_html/update.php)

and

Warning: array_pop() expects parameter 1 to be array, boolean given in update_results_page() (line 182 of /home/northwes/public_html/update.php).