minor tweaks to HEAD