added quick and dirty hack to fix php bug