Fixed a PHP syntax error.