Fix bad commit

Authored by mlaurent on Mar 10 2019, 1:12 PM.