Rename for prettier display on GitHub.