More documentation tweaking.