Updated inst_info.php.