Small updates and corrections.