minor tweaks for #45