[#19] Also switch JSON seperator to / in input.py