Json4s: modify format