- minor corrections