made Key json encode properly