Minor php fixes