a few tiny updates