Rename for better display on github