a few small corrections in the README