Fix a bad commit from our PEFS import