fixes a minor php alert