Minor cleanups in README