remove unused qualifiers, document a bug.

mining qualifiers that were also explicitly provided seems to break fixpoint..