Should fix #10: json option now produces json output