Some cleanup on publications.html