More documentation tweaking