miscellaneous tweaks.