SVGHMI: cosmetic fix in js

2022-09-21, Edouard Tisserant