Correct lift-json to json4s