bug in assets.inc.php