Fixing an include after the last rename