Minor tweaks to doc layout