Minor php updates