Minor touch-ups in README