Little documentation tweaks