Issue #86: Fixing PHP notice in layout_menu().