fix clazy warning

Authored by mlaurent on May 27 2020, 6:06 PM.