small textual modifications