Fix php typos