Documentation and formatting tweaks