tippos and html corrections