--- common.inc.original	2013-12-30 14:46:12.541551021 +0100
+++ common.inc	2013-12-30 15:04:44.213256552 +0100
@@ -5789,7 +5789,7 @@ function drupal_render_page($page) {
  * - 'bin': Specify a cache bin to cache the element in. Defaults to 'cache'.
  *
  * This function is usually called from within another function, like
- * drupal_get_form() or a theme function. Elements are sorted internally
+ * drupal_render_page() or a theme function. Elements are sorted internally
  * using uasort(). Since this is expensive, when passing already sorted
  * elements to drupal_render(), for example from a database query, set
  * $elements['#sorted'] = TRUE to avoid sorting them a second time.
@@ -5930,6 +5930,8 @@ function drupal_render(&$elements) {
  * @param $children_keys
  *   If the keys of the element's children are already known, they can be passed
  *   in to save another run of element_children().
+ * @return string
+ *   The rendered HTML.
  */
 function drupal_render_children(&$element, $children_keys = NULL) {
   if ($children_keys === NULL) {