Minor fixes

I put the things you told me about running soot in the readme, which I think is the best place to put it. Also some tiny fixes. Merge if and when you like.