minor php fix compatibility