small fixes (HTML)