I think this filename needs to be HTML-escaped.