Documentation tweaks (#306)