html export + small fixes