Some minor tweaks to the documentation