some very minor tweaks