Various tiny corrections