minor php bug fix