more php fixes