Documentation tweaks, mostly to prompt another travis build.