small textual improvements
merged