The rule for depglobs seems wrong