Use compact separators when json encoding