A few tiny updates