rename so github looks nice