html builtin bugfix