Fix bad commit here

Authored by mlaurent on Jun 13 2019, 9:47 PM.