Minor php bug fixed