Small changes and corrections.