doc changes: minor tweaks to improve the formatting