Bug #8, Fix php syntax error