Slight summary tweaks