menu callbacks should return the output, not print(theme_page)

  $output .= theme("table", $header, $rows);
  print(theme("page", $output));

For menu callbacks, this can just be

  $output .= theme("table", $header, $rows);
  return $output;