Minor corrections in text, formatting.