PHP Notice: Undefined variable: main_menu (line 123 of page.tpl.php)

The syntax on line 123 of page.tpl.php triggers a PHP notice if the variable $main_menu is undefined.

Please change line 123 from:

  <?php if ($main_menu): ?>

To:

  <?php if (!empty($main_menu)): ?>

Thank you.