Minor corrections.