Minor
Fixed text in the html-title tag.