Bug fix: fix a PHP 'undefined variable' error message