Tiny improvements to the README