One auxiliary function has been renamed.