  We establish global extendibility (to the domain of outer communications) of
locally defined isometries of appropriately regular analytic black holes. This
allows us to fill a gap in the Hawking-Ellis proof of black-hole rigidity.
