Fix typo in previous commit...

Authored by asturmlechner on Jan 15 2017, 8:06 PM.