added the key to the output, added the header to the jepsen output