Fix for issue #772 - PHP undefined index notice