html: fix doc type