minor tweaks, mainly aesthetics