Small updates and corrections