This can be moved into the `if` block below, as that is the only place where it is used.