I know it's not part of your changes, but why is this defined and not used below?