minor corrections of the textual sort