Bug in inst_lang.php