Minor improvements and corrections.