This is needed to use which-top unqualified.