Some more minor corrections