minor tweaks: