Formatting and documentation tweaks