some minor changes in include.php