reintroduced Headers.toString()