SVGHMI: Fix bug introduced when merging default
svghmi
2020-06-18, Edouard Tisserant