Minor touchups in README