some small changes at archive.html