use a non-empty <title> in html file