This file fixes documentation on GitHub.