A few tweaks and corrections in the README