libm: fix html