Converted a call to theme_pager to Drupal 7 style, it was Drupal 6 style...

... and therefore ignored.