a little renaming for github