Some minor tweaks to the online docs.