diff --git a/core/includes/common.inc b/core/includes/common.inc
index 2c76295..7cdf92d 100644
--- a/core/includes/common.inc
+++ b/core/includes/common.inc
@@ -2830,7 +2830,7 @@ function drupal_get_library($module, $name = NULL) {
  *     'id' => 'my-module-table'
  *   )
  * );
- * return drupal_render($table);;
+ * return drupal_render($table);
  * @endcode
  *
  * In the theme function for the form, a special class must be added to each
diff --git a/core/includes/pager.inc b/core/includes/pager.inc
index 187dabf..7fb19b0 100644
--- a/core/includes/pager.inc
+++ b/core/includes/pager.inc
@@ -73,7 +73,7 @@ function pager_find_page($element = 0) {
  *   );
  *
  *   // Finally, display the pager controls, and return.
- *   $page = array('#theme' => 'pager');
+ *   $pager = array('#theme' => 'pager');
  *   $output .= drupal_render($pager);
  *   return $output;
  * @endcode
diff --git a/core/modules/system/form.api.php b/core/modules/system/form.api.php
index 36c4c85..5ae2d69 100644
--- a/core/modules/system/form.api.php
+++ b/core/modules/system/form.api.php
@@ -110,7 +110,11 @@ function callback_batch_finished($success, $results, $operations) {
     $message = t("!count items were processed.", array(
       '!count' => count($results),
       ));
-    $message .= theme('item_list', array('items' => $results));
+    $list = array(
+      '#theme' => 'item_list',
+      '#items' => $results,
+    );
+    $message .= drupal_render($list);
     drupal_set_message($message);
   }
   else {