Corrected php doc