Fix for a renaming of a member field