small textual corrections in the comments