Fix note reference [WildCard binders]