Various small changes to README