More renaming

Git kan blijkbaar niet alles in een keer doen :/