Tiny fixes; README