Fix clazy warning

Authored by mlaurent on Apr 22 2019, 4:24 PM.