Recent code clean-up made this retyping obsolete.