add zero padding to json output, fixes #2