html: use the filename for the title if no title is given