A few small changes to README