php doc corrections