minor tweaks in the rest slides