Fix clazy warning

Authored by mlaurent on Apr 23 2019, 5:30 AM.