tiny updates Nov 7