more minor tweaks to mainpage