Fix bug in introspection rule
Add more documentation