miscellaneous minor updates