missing to commit this change

Authored by cgilles on Sep 3 2018, 3:39 PM.