Fix missed file in fabbfdb0.