Fix missed renaming in last commit