Fix php doc comment