Fix declaration of superinterfaces