Some small code fixes in the PHP-Script.