Rename for Github rendering