--- node.module.old	2010-11-09 09:36:38.000000000 +0100
+++ node.module	2010-11-22 01:36:21.423333280 +0100
@@ -2524,9 +2524,9 @@ function node_page_default() {
     $feed_url = url('rss.xml', array('absolute' => TRUE));
     drupal_add_feed($feed_url, variable_get('site_name', 'Drupal') . ' ' . t('RSS'));
     $build['pager'] = array(
-      '#theme' => 'pager',
+      '#markup' => theme('pager'),
       '#weight' => 5,
-    );
+     );
     drupal_set_title('');
   }
   else {