Bug in assets.inc.php