Fix issue #775 - PHP undefined index notice