more minor corrections