Some small textual updates