Fixing a PHP syntax error.