more precise php doc