minor changes, mostly for understanding