A few corrections and additions. No time for much more, getting late