Switch to automatic Json encoding