Bugfix PHP syntax