minor tweaks to ;