PHP Documentation fixes