Added 2 lines at bottom of html manual