Fix check for binstubbedness