more small corrections to the text