Small php fixes