attempt to fix filerepository.html