Formatting, documentation, small fixes.