fixed a bug in readhtml._has_name