A few more minor corrections