Formatting tweaks for GitHub.