Correct php doc