DO NOT MERGE small change

[SalDaniele]

Mellanox ci seems to be failing, hoping to verify if this is an issue with the commits themselves, or the ci.

[SalDaniele]

Do not merge

[SalDaniele]

/retest

[coveralls]

Pull Request Test Coverage Report for Build 4629344017

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 38.027%

---

Totals
Change from base Build 4284585998:	0.0%
Covered Lines:	424
Relevant Lines:	1115

---

💛 - Coveralls

[SalDaniele]

/retest

[SalDaniele]

/test-all