Small corrections to text.