This formats the filename before using it in an error to avoid chance of
XSS.