fixin HTMLAttributes

see the related [issue](https://github.com/plomino/Plomino/issues/541)