minor tweaks. Nothing to see here