Fix a minor qualified name defect that I did not understand before.