Fixes #13: remove --json-format