small textual improvements