Add an explicit title directive to set the HTML index page title instead of taking the first section header.