Formatting fixes for GitHub.