Fix indentation in is_htmliframeelement.