a couple tiny corrections