This hasn't been used in a looong time. Fixes bug #54377