minor corrections to comments