Fix name to fit rename of git repository.