Fix clazy warning

Authored by mlaurent on Apr 22 2019, 12:13 PM.