Typo

Github didn't notice the local file name change.