debian.html fix