Tiny fixes to the README