PHP syntax fix