Tiny corrections to comments