a couple formatting tweaks in the design doc