Fix typo in previous commit

Authored by heikobecker on Mar 11 2018, 3:34 PM.