small php fixes