Fix some php warnings