Just some documentation tweaks