Switch to JSON. Fixes #65