Small php changes