Fix clazy warning

Authored by mlaurent on Jun 8 2020, 6:40 PM.