trivial tweaks.