Bugfix in stubextractor