Introspection: doc fix.