some tiny corrections.