Minor layout tweaks in documentation