modified documentation accordingly to new repository name.