even more minor corrections