fix json4s object decomposition spec