Bug fix in introspection