For nitpicking on GitHub.