Fix for 'PHP Notice:  Undefined index: ...' error. See http://stackoverflow.com/questions/4261133/php-notice-undefined-variable-and-notice-undefined-index for more details.