Correction to PHP Syntax