minor spacing tweaks

Just some minor tweaks to the spec.