Bugfix PHP syntax error