Fix quick PHP syntax bug