Tiny fixes in the README