fix of names after changing repository name