minor changes and a deletion