Fix issue introduced by the renaming of last commit