Make some documentation tweaks