Slightly nicer filename format.