Small corrections and enhancements.