Fix a typo in filename

Authored by wrobelda on May 27 2020, 2:10 PM.