minor fixes for `README