Updated html-paper