Fix php paren problem