Fix sha1

I have no explanation for why the sha1 differed.