FIX #1038: failure of selector-thunk machinery to do its job