Added correct PHP syntax