Additional info in include.php.