Bug #8, fix PHP syntax error