minor php fix