Some very minor tweaks