repository.html fixing