fix copy and paste error

Authored by cullmann on Feb 16 2020, 5:21 PM.