Fixes 'sunder' (correct semantics?)
Adds NumInstances dependency