Fix formatting on GitHub.