Fix clazy warning

Authored by mlaurent on Jan 11 2019, 12:26 PM.