Change: minor tweaks to documents