More PHP bugs