Fix clazy warning

Authored by mlaurent on Apr 22 2019, 8:52 AM.