Fix some php doc