diff -u b/core/includes/common.inc b/core/includes/common.inc
--- b/core/includes/common.inc
+++ b/core/includes/common.inc
@@ -3708,12 +3708,12 @@
  *   - The main render phase to produce #children for this element takes place:
  *     - If this element has #theme defined and #theme is an implemented theme
  *       hook/suggestion then theme() is called and must render both the element
- *       and its children. If #render_children is set theme() will not be
+ *       and its children. If #render_children is set, theme() will not be
  *       called. #render_children is usually only set internally by theme() so
  *       that we can avoid the situation where drupal_render() called from
  *       within a theme preprocess function creates an infinite loop.
  *     - If this element does not have a defined #theme, or the defined #theme
- *       hook is not implemented, or #render_children is set,  then
+ *       hook is not implemented, or #render_children is set, then
  *       drupal_render() is called recursively on each of the child elements of
  *       this element and the result of each is concatenated onto #children.
  *       This is skipped if #children is not empty at this point.
@@ -3722,7 +3722,7 @@
  *       prepended to #children.
  *   - Any additional JavaScript, CSS or custom data is added to this element.
  *   - If this element has an array of #theme_wrappers defined and
- *     #render_children is not set then #children is re-rendered by passing the
+ *     #render_children is not set, #children is then re-rendered by passing the
  *     element in its current state to theme() successively for each item in
  *     #theme_wrappers.
  *   - If this element has an array of #post_render functions defined, they are
@@ -3731,8 +3731,8 @@
  *     attribute as a string and the element itself.
  *   - If this element has #prefix and/or #suffix defined, they are concatenated
  *     to #children.
- *   - If this element has #cache defined the rendered output of this element is
- *     saved to drupal_render()'s internal cache.
+ *   - If this element has #cache defined, the rendered output of this element
+ *     is saved to drupal_render()'s internal cache.
  *   - #printed is set to TRUE for this element to ensure that it is only
  *     rendered once.
  *   - The final value of #children for this element is returned as the rendered